Nuprl Definition : es-dtype
11,40
postcript
pdf
es-dtype(
es
;
i
;
x
;
T
) == (
es-isconst(
es
;
i
;
x
))
subtype_rel(es-vartype(
es
;
i
;
x
);
T
)
latex
Definitions
P
Q
,
b
,
es-isconst(
es
;
i
;
x
)
,
es-vartype(
es
;
i
;
x
)
FDL editor aliases
es-dtype
origin
es-isconst(es; i; x)) 
subtype_rel(es-vartype(es; i; x); T) es-isconst(es; i; x)) subtype_rel(es-vartype(es; i; x); T) Qb